Open
Conversation
address # FIXME in shellHook. export PICO_BOARD_HEADER_DIRS in environment instead of modifying pico-sdk. It may even turn out the custom board header is no longer required or in use.
edwardalee
approved these changes
Feb 25, 2026
Contributor
edwardalee
left a comment
edwardalee
left a comment
There was a problem hiding this comment.
Looks reasonable to me, as long as it works.
Contributor
Author
|
looks like cmake is building for plain pico (see last four lines, "Defaulting"), and pololu_3pi_2040_robot appears in the target parameter platform but maybe not beyond that. (used a clean clone) $ lfc src/Blink.lf
lfc: info: Generating code for: file:/home/mi/lf-3pi/src/Blink.lf
lfc: info: Generation mode: STANDALONE
lfc: info: Generating sources into: /home/mi/lf-3pi/src-gen/Blink
lfc: info: Target Configuration:
- single-threaded: true
- platform: PlatformOptions[platform=rp2040, board=Option[setByUser=true, value=pololu_3pi_2040_robot], port=Option[setByUser=false, value=null], baudRate=Option[setByUser=false, value=0], flash=Option[setByUser=false, value=false], userThreads=Option[setByUser=false, value=0]]
Cleaning /home/mi/lf-3pi/include
--- Current working directory: /home/mi/lf-3pi/src-gen/Blink/build
--- Executing command: cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/home/mi/lf-3pi -DCMAKE_INSTALL_BINDIR=bin -DLF_FILE_SEPARATOR='"/"' -DLF_SOURCE_DIRECTORY=/home/mi/lf-3pi/src -DLF_PACKAGE_DIRECTORY=/home/mi/lf-3pi -DLF_SOURCE_GEN_DIRECTORY=/home/mi/lf-3pi/src-gen/Blink /home/mi/lf-3pi/src-gen/Blink
-- The C compiler identification is GNU 12.2.1
-- The CXX compiler identification is GNU 12.2.1
-- The ASM compiler identification is GNU
-- Found assembler: /nix/store/ys6f5rkagvk7j6mawa5fiakglv1568hl-gcc-arm-embedded-12.2.rel1/bin/arm-none-eabi-gcc
-- Detecting C compiler ABI info
Using PICO_SDK_PATH from environment ('/home/mi/lf-3pi/pico-sdk')
PICO_SDK_PATH is /home/mi/lf-3pi/pico-sdk
Defaulting platform (PICO_PLATFORM) to 'rp2040' since not specified.
Defaulting target board (PICO_BOARD) to 'pico' since not specified.
Using board configuration from /home/mi/lf-3pi/pico-sdk/src/boards/include/boards/pico.h
Pico Platform (PICO_PLATFORM) is 'rp2040'. |
Contributor
Author
|
fwiw, I'm finding
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
address
# FIXMEin shellHook re:pololu_3pi_2040_robot.h:export PICO_BOARD_HEADER_DIRSin environment instead of modifying the submodulepico-sdk. But, it appears that the custom board header is neither required nor used.